Logical machine - PDFSEARCH.IO - Document Search Engine

Logical machine
Results: 63

#	Item
11	Logical Depth and Physical Complexity Charles H. Bennett IBM Research, Yorktown Heights NY 10598, USA ppin The Universal Turing Machine– a Half-Century Survey, edited by Rolf Herken, Oxford University Press ( Add to Reading List Source URL: web.archive.org Language: English
12	Alan Turing: the logical and physical basis of computing Andrew Hodges∗ Wadham College, University of Oxford, Oxford OX1 3PN, U.K. This paper is based on the talk given on 5 June 2004 at the conference at Manchester Un Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:18:09 Computer science Mathematics Alan Turing Turing machine Church–Turing thesis Computable function Halting problem Computable number Computability Computability theory Theory of computation Theoretical computer science
13	Version 1.0 X and Hex David May: May 6, 2014 The X Language Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-06 09:48:01 Algebra Machine code Mathematical notation Operand Logical connective Instruction set DEC Alpha IJVM PILOT Computer architecture Computing Instruction set architectures
14	Version 1.0 X and Hex David May: May 6, 2014 The X Language Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-06 09:48:01 Algebra Machine code Mathematical notation Operand Logical connective Instruction set DEC Alpha IJVM PILOT Computer architecture Computing Instruction set architectures
15	Multi-Core Emptiness Checking of Timed B¨ uchi ∗ Automata using Inclusion Abstraction Alfons Laarman1 , Mads Chr. Olesen2 , Andreas Dalsgaard2 , Kim G. Larsen2 , and Jaco van de Pol1 Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2013-06-13 05:44:50 Models of computation Deduction Entailment Logical consequence Metalogic S0 Cyan Advanced Configuration and Power Interface Finite-state machine Color Logic Automata theory
16	(K) Putting the Books in OrderGeorgian Armenian Logical Order Add to Reading List Source URL: www.naclo.cs.cmu.edu Language: English - Date: 2013-11-03 01:31:48 Computability theory Turing machine
17	SnowFlock: Rapid Virtual Machine Cloning for Cloud Computing H. Andrés Lagar-Cavilla, Joseph A. Whitney, Adin Scannell, Philip Patchin, Stephen M. Rumble, Eyal de Lara, Michael Brudno, M. Satyanarayanan† University of Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2009-02-20 21:50:26 Live migration Hyper-V Xen Hypervisor VM Logical partition Paravirtualization Fork Temporal isolation among virtual machines System software Software Virtual machines
18	Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:16:44 Reasoning Logical consequence Non-classical logic Probabilistic logic Entailment First-order logic Bayesian probability Inference Complete theory Logic Philosophical logic Model theory
19	Listing of Instructions: NEATOperation ADD ADDN Operand Add to Reading List Source URL: www.thecorememory.com Language: English - Date: 2009-02-23 01:32:13 Machine code Procedural programming languages Algebra Mathematical notation Operand Instruction set C Logical disjunction Computing Software engineering Computer architecture
20	KVM and Big VMs KVM Forum 2012 Andrew Theurer IBM Linux Technology Center Topics Add to Reading List Source URL: www.linux-kvm.org Language: English - Date: 2012-11-20 21:55:03 Parallel computing QEMU Hyper-V Hypervisor VM OpenVMS Logical partition Virtual machine Non-Uniform Memory Access System software Software Computing

UPDATE